Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann...(展开全部)

With the success of its previous editions, "Principles of Real Analysis, Third Edition" continues to introduce students to the fundamentals of the theory of measure and functional analysis. In this thorough update, the authors have included a new chapter on Hilbert spaces as well as integrating over 150 new exercises throughout. The new edition covers the basic theory of integr...(展开全部)

A comprehensive guide to investment analysis and portfolio management by an expert team from the CFA Institute In a world of specialization, no other profession likely requires such broad, yet in-depth knowledge than that of financial analyst. Financial analysts must not only possess a broad understanding of the financial markets-including structure, organization, efficie...(展开全部)

This is the long-awaited reprint of Graham and Dodd's masterful first revision. The first edition of "Security Analysis", published in 1934, forever changed the theory and practice of successful investing. Yet the remainder of that tumultuous decade brought unprecedented upheaval to the financial world, compelling Benjamin Graham and David Dodd to produce a comprehensively revi...(展开全部)

在线阅读本书 Reissue of this classic work in the development of modern criticism which argues that literary criticism is essentially a branch of psychology, dealing with the states of mind induced by the experiences communicated by art.

When published in 1971, Principles of Paleontology (POP) by David Raup and Steven Stanley revolutionized both textbooks and teaching in paleontology by adopting an approach that focused on the process of studying biologic groups, rather than a systematic approach (the study of individual groups of organisms), or an historical approach (narrating events to date). For this highl...(展开全部)